Shriram Krishnamurthi - PDFSEARCH.IO - Document Search Engine

Shriram Krishnamurthi
Results: 42

#	Item
31	Reenix: Implementing a Unix-Like Operating System in Rust Alex Light (alexander ) Advisor: Tom Doeppner Reader: Shriram Krishnamurthi Brown University, Department of Computer Science April 2015 Add to Reading List Source URL: scialex.github.io Language: English - Date: 2015-04-28 15:23:24 Rust Concurrency control Threads Quicksort C dynamic memory allocation C Monitor Kernel Dog crate Computing Computer programming Software engineering
32	Poster: Waiting Makes the Heart Grow Fonder and the Password Grow Stronger Experiments in Nudging Users to Create Stronger Passwords Nathan Malkin, Shriram Krishnamurthi, David H. Laidlaw Brown University, Department of Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2013-05-31 08:50:04 Television Password policy Series Munged password Cryptography Password strength Password
33	Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi Brown University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Continuations Control flow Web application frameworks Functional languages Cross-platform software Web service Frame Call-with-current-continuation Seaside Computing Software engineering Computer programming
34	Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:15 Data types List Cons Programming language Lisp Type system Pointer ALGOL 68 Reference Software engineering Computing Computer programming
35	Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Mathematical sciences Statistical inference Bootstrapping Data analysis Resampling Function Emmy Noether Education in the United States ProgramByDesign Statistics Mathematics Mathematics education
36	How to Design Class Hierarchies Matthias Felleisen PLT Northeastern University, Boston Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-19 12:19:43 OO FP Computer science Education in the United States Computing How to Design Programs Matthias Felleisen Shriram Krishnamurthi
37	A Model of Garbage Collection for OO Languages Rob Hunter and Shriram Krishnamurthi Brown University Providence, RI Contact: [removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-12-29 22:42:20 Logical syntax Metalogic Philosophical logic Propositional calculus Vehicle Identification Number Aria Garbage collection Logic Deduction Entailment
38	Teaching Programming Languages in a Post-Linnaean Age Shriram Krishnamurthi Brown University [removed] Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2008-07-02 00:06:26 Scripting languages Cross-platform software Programming paradigms Functional languages High-level programming languages Programming Languages: Application and Interpretation Programming language Domain-specific language Object-oriented programming Software engineering Computing Computer programming
39	Programming Languages: Application and Interpretation Version Second Edition Shriram Krishnamurthi November 16, 2012 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2012-11-16 23:12:06 Functional languages Procedural programming languages Type theory Compiling tools Compiler construction Parsing Racket Yacc ML Software engineering Computing Programming language theory
40	Whalesong: Running Racket in the Browser Danny Yoo Shriram Krishnamurthi WPI, University of Utah Add to Reading List Source URL: hashcollision.org Language: English - Date: 2013-07-30 11:19:13 Cross-platform software Application programming interfaces Software design patterns Control flow HTML JavaScript DOM events Document Object Model Callback Computing Software engineering Computer programming

UPDATE